[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 76 185 326 169 311 324 215

N.S.

1 1.00 0.84 2.03 3.58 1.86 3.42 3.56 2.36

time (sec)

N/A 0.089 0.183 0.988 0.208 0.256 0.352 0.257 0.201

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 61 126 222 109 202 204 143

N.S.

1 1.00 0.87 1.80 3.17 1.56 2.89 2.91 2.04

time (sec)

N/A 0.067 0.125 1.136 0.210 0.242 0.270 0.283 0.871

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 44 91 134 62 112 112 82

N.S.

1 1.00 0.90 1.86 2.73 1.27 2.29 2.29 1.67

time (sec)

N/A 0.041 0.097 0.993 0.198 0.242 0.210 0.280 0.096

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 37 68 29 46 46 35

N.S.

1 1.00 0.96 1.32 2.43 1.04 1.64 1.64 1.25

time (sec)

N/A 0.014 0.082 0.582 0.197 0.233 0.156 0.276 0.791

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 49 82 57 94 0 57 0

N.S.

1 1.00 0.96 1.61 1.12 1.84 0.00 1.12 0.00

time (sec)

N/A 0.091 0.057 0.793 0.238 0.234 0.000 0.268 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 65 133 80 148 0 615 0

N.S.

1 1.00 0.92 1.87 1.13 2.08 0.00 8.66 0.00

time (sec)

N/A 0.091 0.167 0.880 0.232 0.243 0.000 0.298 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 88 277 94 254 0 301 0

N.S.

1 1.00 0.85 2.66 0.90 2.44 0.00 2.89 0.00

time (sec)

N/A 0.133 0.335 0.905 0.235 0.245 0.000 0.270 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 132 145 382 312 660 374 334

N.S.

1 1.00 0.81 0.90 2.36 1.93 4.07 2.31 2.06

time (sec)

N/A 0.075 0.366 1.020 0.210 0.241 0.511 0.271 1.429

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 104 121 263 209 456 243 229

N.S.

1 1.00 0.78 0.90 1.96 1.56 3.40 1.81 1.71

time (sec)

N/A 0.055 0.258 0.986 0.203 0.250 0.361 0.279 1.124

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 75 79 165 123 264 136 127

N.S.

1 1.00 0.79 0.83 1.74 1.29 2.78 1.43 1.34

time (sec)

N/A 0.041 0.187 0.883 0.197 0.265 0.258 0.272 0.175

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 52 64 88 64 126 63 60

N.S.

1 1.00 0.95 1.16 1.60 1.16 2.29 1.15 1.09

time (sec)

N/A 0.018 0.181 0.493 0.192 0.241 0.196 0.275 0.106

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 66 97 72 104 0 68 0

N.S.

1 1.00 0.85 1.24 0.92 1.33 0.00 0.87 0.00

time (sec)

N/A 0.124 0.161 3.106 0.228 0.260 0.000 0.266 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 75 152 88 166 0 574 0

N.S.

1 1.00 0.93 1.88 1.09 2.05 0.00 7.09 0.00

time (sec)

N/A 0.120 0.276 2.960 0.227 0.249 0.000 0.318 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 102 299 99 280 0 330 0

N.S.

1 1.00 0.91 2.67 0.88 2.50 0.00 2.95 0.00

time (sec)

N/A 0.154 0.608 3.221 0.243 0.254 0.000 0.278 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 123 555 110 411 0 537 0

N.S.

1 1.00 0.76 3.43 0.68 2.54 0.00 3.31 0.00

time (sec)

N/A 0.148 0.582 3.114 0.247 0.268 0.000 0.270 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 150 181 639 528 772 654 532

N.S.

1 1.00 0.67 0.80 2.84 2.35 3.43 2.91 2.36

time (sec)

N/A 0.258 0.619 1.895 0.216 0.246 0.671 0.271 1.290

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 127 142 435 345 495 414 364

N.S.

1 1.00 0.73 0.81 2.49 1.97 2.83 2.37 2.08

time (sec)

N/A 0.160 0.612 1.657 0.213 0.243 0.501 0.297 0.338

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 86 106 269 199 284 230 184

N.S.

1 1.00 0.70 0.86 2.19 1.62 2.31 1.87 1.50

time (sec)

N/A 0.099 0.249 1.613 0.198 0.234 0.358 0.286 1.146

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 59 63 141 97 126 98 79

N.S.

1 1.00 0.79 0.84 1.88 1.29 1.68 1.31 1.05

time (sec)

N/A 0.039 0.207 1.410 0.199 0.244 0.241 0.267 0.149

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 102 166 117 188 0 113 0

N.S.

1 1.00 0.84 1.37 0.97 1.55 0.00 0.93 0.00

time (sec)

N/A 0.199 0.263 2.220 0.237 0.244 0.000 0.276 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 160 271 145 301 0 1076 0

N.S.

1 1.00 1.10 1.87 1.00 2.08 0.00 7.42 0.00

time (sec)

N/A 0.195 0.730 2.367 0.249 0.251 0.000 0.333 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 220 562 145 529 0 601 0

N.S.

1 1.00 1.20 3.05 0.79 2.88 0.00 3.27 0.00

time (sec)

N/A 0.315 0.567 2.381 0.255 0.251 0.000 0.276 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 168 541 333 396 0 0 0

N.S.

1 1.00 1.13 3.63 2.23 2.66 0.00 0.00 0.00

time (sec)

N/A 0.104 0.202 1.865 0.262 0.249 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 118 306 195 242 0 0 0

N.S.

1 1.00 1.19 3.09 1.97 2.44 0.00 0.00 0.00

time (sec)

N/A 0.074 0.139 1.680 0.261 0.255 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 116 89 0 119 0 0 0

N.S.

1 1.00 2.32 1.78 0.00 2.38 0.00 0.00 0.00

time (sec)

N/A 0.041 0.128 0.876 0.000 0.273 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 16 12 16 18

N.S.

1 1.00 1.14 1.00 1.14 1.14 0.86 1.14 1.29

time (sec)

N/A 0.016 14.735 0.341 0.474 0.238 0.368 0.359 0.807

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 27 14 16 18

N.S.

1 1.00 1.14 1.00 1.14 1.93 1.00 1.14 1.29

time (sec)

N/A 0.018 15.046 0.355 0.458 0.252 0.507 2.132 0.802

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 185 473 320 1159 0 0 0

N.S.

1 1.00 1.80 4.59 3.11 11.25 0.00 0.00 0.00

time (sec)

N/A 0.162 0.718 2.080 0.338 0.276 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 137 240 0 623 0 0 0

N.S.

1 1.00 1.85 3.24 0.00 8.42 0.00 0.00 0.00

time (sec)

N/A 0.106 0.530 1.765 0.000 0.244 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 52 56 91 166 0 80 49

N.S.

1 1.00 1.79 1.93 3.14 5.72 0.00 2.76 1.69

time (sec)

N/A 0.024 0.171 1.315 0.204 0.271 0.000 0.269 0.083

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 157 18 14 18 18

N.S.

1 1.00 1.12 1.00 9.81 1.12 0.88 1.12 1.12

time (sec)

N/A 0.029 22.428 0.227 0.366 0.241 0.381 0.289 0.840

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 237 29 15 18 18

N.S.

1 1.00 1.12 1.00 14.81 1.81 0.94 1.12 1.12

time (sec)

N/A 0.027 22.681 0.240 0.368 0.247 0.531 0.334 0.831

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 440 876 605 4008 0 0 0

N.S.

1 1.00 1.72 3.42 2.36 15.66 0.00 0.00 0.00

time (sec)

N/A 0.214 2.763 1.952 0.335 0.321 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 420 444 393 2218 0 0 0

N.S.

1 1.00 2.73 2.88 2.55 14.40 0.00 0.00 0.00

time (sec)

N/A 0.132 6.723 1.759 0.342 0.256 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 271 197 0 1026 0 0 0

N.S.

1 1.00 2.95 2.14 0.00 11.15 0.00 0.00 0.00

time (sec)

N/A 0.063 0.224 1.355 0.000 0.262 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 433 18 14 18 18

N.S.

1 1.00 1.12 1.00 27.06 1.12 0.88 1.12 1.12

time (sec)

N/A 0.029 65.117 0.233 0.525 0.257 0.371 2.498 0.853

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 545 29 15 0 18

N.S.

1 1.00 1.12 1.00 34.06 1.81 0.94 0.00 1.12

time (sec)

N/A 0.026 69.345 0.216 0.666 0.249 0.541 0.000 0.908

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 171 108 0 308 521 0 232 0

N.S.

1 1.00 0.63 0.00 1.80 3.05 0.00 1.36 0.00

time (sec)

N/A 0.276 0.049 0.000 0.224 0.258 0.000 0.316 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 146 106 0 268 385 0 202 0

N.S.

1 1.00 0.73 0.00 1.84 2.64 0.00 1.38 0.00

time (sec)

N/A 0.182 0.062 0.000 0.216 0.241 0.000 0.306 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 123 104 0 230 301 0 168 0

N.S.

1 1.00 0.85 0.00 1.87 2.45 0.00 1.37 0.00

time (sec)

N/A 0.127 0.050 0.000 0.194 0.268 0.000 0.275 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 104 0 181 122 0 90 0

N.S.

1 1.00 1.00 0.00 1.74 1.17 0.00 0.87 0.00

time (sec)

N/A 0.094 0.028 0.000 0.221 0.264 0.000 0.282 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

118 118 120 0 103 339 0 0 0

N.S.

1 1.00 1.02 0.00 0.87 2.87 0.00 0.00 0.00

time (sec)

N/A 0.135 0.099 0.000 0.209 0.253 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 161 0 114 532 0 0 0

N.S.

1 1.00 1.08 0.00 0.77 3.57 0.00 0.00 0.00

time (sec)

N/A 0.180 0.468 0.000 0.281 0.269 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

174 174 168 0 114 855 0 0 0

N.S.

1 1.00 0.97 0.00 0.66 4.91 0.00 0.00 0.00

time (sec)

N/A 0.217 0.367 0.000 0.271 0.274 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

239 239 137 0 281 1001 0 0 0

N.S.

1 1.00 0.57 0.00 1.18 4.19 0.00 0.00 0.00

time (sec)

N/A 0.313 0.385 0.000 0.294 0.257 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 211 137 0 239 755 0 0 0

N.S.

1 1.00 0.65 0.00 1.13 3.58 0.00 0.00 0.00

time (sec)

N/A 0.228 0.219 0.000 0.273 0.267 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

166 166 129 0 189 590 0 0 0

N.S.

1 1.00 0.78 0.00 1.14 3.55 0.00 0.00 0.00

time (sec)

N/A 0.203 0.380 0.000 0.296 0.257 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 142 0 107 155 0 115 0

N.S.

1 1.00 1.02 0.00 0.77 1.12 0.00 0.83 0.00

time (sec)

N/A 0.162 0.087 0.000 0.297 0.271 0.000 0.299 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 142 152 0 116 571 0 0 0

N.S.

1 1.00 1.07 0.00 0.82 4.02 0.00 0.00 0.00

time (sec)

N/A 0.171 0.390 0.000 0.287 0.274 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

174 174 156 0 118 864 0 0 0

N.S.

1 1.00 0.90 0.00 0.68 4.97 0.00 0.00 0.00

time (sec)

N/A 0.236 0.744 0.000 0.283 0.263 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 220 204 0 118 1352 0 0 0

N.S.

1 1.00 0.93 0.00 0.54 6.15 0.00 0.00 0.00

time (sec)

N/A 0.223 0.575 0.000 0.282 0.277 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

251 251 222 0 118 1827 0 0 0

N.S.

1 1.00 0.88 0.00 0.47 7.28 0.00 0.00 0.00

time (sec)

N/A 0.297 0.359 0.000 0.259 0.280 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 381 194 0 513 2090 0 0 0

N.S.

1 1.00 0.51 0.00 1.35 5.49 0.00 0.00 0.00

time (sec)

N/A 0.772 0.471 0.000 0.280 0.268 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

325 325 211 0 430 1543 0 0 0

N.S.

1 1.00 0.65 0.00 1.32 4.75 0.00 0.00 0.00

time (sec)

N/A 0.612 0.376 0.000 0.305 0.274 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

275 275 209 0 333 1216 0 0 0

N.S.

1 1.00 0.76 0.00 1.21 4.42 0.00 0.00 0.00

time (sec)

N/A 0.356 0.237 0.000 0.281 0.255 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

228 228 191 0 178 252 0 0 0

N.S.

1 1.00 0.84 0.00 0.78 1.11 0.00 0.00 0.00

time (sec)

N/A 0.285 0.140 0.000 0.276 0.249 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 246 245 0 197 1346 0 0 0

N.S.

1 1.00 1.00 0.00 0.80 5.47 0.00 0.00 0.00

time (sec)

N/A 0.297 0.789 0.000 0.293 0.260 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

277 277 253 0 196 2059 0 0 0

N.S.

1 1.00 0.91 0.00 0.71 7.43 0.00 0.00 0.00

time (sec)

N/A 0.462 2.019 0.000 0.318 0.297 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

331 331 376 0 197 3286 0 0 0

N.S.

1 1.00 1.14 0.00 0.60 9.93 0.00 0.00 0.00

time (sec)

N/A 0.561 1.223 0.000 0.296 0.313 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 50 132 175 189 133 146 0

N.S.

1 1.00 0.45 1.19 1.58 1.70 1.20 1.32 0.00

time (sec)

N/A 0.129 0.013 0.501 0.190 0.251 10.630 0.274 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 49 120 149 137 99 108 0

N.S.

1 1.00 0.53 1.30 1.62 1.49 1.08 1.17 0.00

time (sec)

N/A 0.099 0.012 0.422 0.192 0.257 0.901 0.271 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 47 71 116 58 70 61 0

N.S.

1 1.00 0.61 0.92 1.51 0.75 0.91 0.79 0.00

time (sec)

N/A 0.064 0.008 0.355 0.184 0.253 0.537 0.257 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 49 120 74 137 94 0 0

N.S.

1 1.00 0.56 1.38 0.85 1.57 1.08 0.00 0.00

time (sec)

N/A 0.098 0.015 0.503 0.193 0.255 1.512 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 84 132 57 178 129 0 0

N.S.

1 1.00 0.74 1.16 0.50 1.56 1.13 0.00 0.00

time (sec)

N/A 0.115 0.059 0.491 0.229 0.260 11.085 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 16 15 16 18

N.S.

1 1.00 1.12 0.88 1.00 1.00 0.94 1.00 1.12

time (sec)

N/A 0.021 27.995 0.487 0.820 0.232 0.608 0.313 0.784

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 16 15 16 18

N.S.

1 1.00 1.12 0.88 1.00 1.00 0.94 1.00 1.12

time (sec)

N/A 0.024 36.874 0.401 1.075 0.254 0.485 0.278 0.817

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 8 10 0 10 10 10

N.S.

1 1.00 1.20 0.80 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.077 4.864 0.202 0.319 0.000 4.454 0.293 0.725

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

20 20 17 0 0 0 0 0 38

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 1.90

time (sec)

N/A 0.037 0.134 0.000 0.000 0.000 0.000 0.000 0.865

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 22 0 0 108 0 0 40

N.S.

1 1.00 0.92 0.00 0.00 4.50 0.00 0.00 1.67

time (sec)

N/A 0.043 0.075 0.000 0.000 0.248 0.000 0.000 0.835

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

47 47 33 0 0 0 0 0 111

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 2.36

time (sec)

N/A 0.057 0.111 0.000 0.000 0.000 0.000 0.000 1.005

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 68 0 0 0 0 0 0

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.080 1.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.032 2.226 0.444 0.346 0.238 12.871 0.503 0.855

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

237 237 206 0 161 340 0 0 0

N.S.

1 1.00 0.87 0.00 0.68 1.43 0.00 0.00 0.00

time (sec)

N/A 0.236 0.149 0.000 0.099 0.087 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 144 131 0 102 241 0 0 0

N.S.

1 1.00 0.91 0.00 0.71 1.67 0.00 0.00 0.00

time (sec)

N/A 0.146 0.120 0.000 0.071 0.079 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

110 110 101 0 79 168 0 0 0

N.S.

1 1.00 0.92 0.00 0.72 1.53 0.00 0.00 0.00

time (sec)

N/A 0.074 0.037 0.000 0.072 0.077 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 16 14 16 18

N.S.

1 1.00 1.14 1.00 1.14 1.14 1.00 1.14 1.29

time (sec)

N/A 0.015 11.187 0.296 0.308 0.247 0.312 0.272 0.763

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.024 3.061 0.340 0.326 0.244 0.325 0.282 0.842

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 54 73 55 86 0 0 0

N.S.

1 1.00 0.92 1.24 0.93 1.46 0.00 0.00 0.00

time (sec)

N/A 0.060 0.024 0.413 0.087 0.076 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 53 73 55 86 0 0 0

N.S.

1 1.00 0.90 1.24 0.93 1.46 0.00 0.00 0.00

time (sec)

N/A 0.048 0.021 0.384 0.088 0.078 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 54 73 55 86 0 0 0

N.S.

1 1.00 0.92 1.24 0.93 1.46 0.00 0.00 0.00

time (sec)

N/A 0.052 0.017 0.370 0.094 0.076 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 53 73 55 78 0 0 0

N.S.

1 1.00 0.90 1.24 0.93 1.32 0.00 0.00 0.00

time (sec)

N/A 0.050 0.014 0.324 0.091 0.070 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 67 43 78 0 0 0

N.S.

1 1.00 1.00 1.37 0.88 1.59 0.00 0.00 0.00

time (sec)

N/A 0.046 0.016 0.381 0.098 0.084 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 51 67 55 86 0 0 0

N.S.

1 1.00 0.93 1.22 1.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.048 0.015 0.385 0.097 0.075 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-2) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 54 71 55 86 0 0 0

N.S.

1 1.00 0.92 1.20 0.93 1.46 0.00 0.00 0.00

time (sec)

N/A 0.051 0.017 0.396 0.102 0.077 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 79 0 71 136 0 0 0

N.S.

1 1.00 0.92 0.00 0.83 1.58 0.00 0.00 0.00

time (sec)

N/A 0.115 0.092 0.000 0.088 0.078 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 78 0 71 136 0 0 0

N.S.

1 1.00 0.92 0.00 0.84 1.60 0.00 0.00 0.00

time (sec)

N/A 0.097 0.091 0.000 0.083 0.075 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 79 0 71 136 0 0 0

N.S.

1 1.00 0.92 0.00 0.83 1.58 0.00 0.00 0.00

time (sec)

N/A 0.101 0.096 0.000 0.094 0.077 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 76 0 71 122 0 0 0

N.S.

1 1.00 0.89 0.00 0.84 1.44 0.00 0.00 0.00

time (sec)

N/A 0.090 0.078 0.000 0.084 0.075 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 63 0 55 117 0 0 0

N.S.

1 1.00 0.88 0.00 0.76 1.62 0.00 0.00 0.00

time (sec)

N/A 0.093 0.055 0.000 0.094 0.077 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 72 0 0 136 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 1.64 0.00 0.00 0.00

time (sec)

N/A 0.099 0.077 0.000 0.000 0.081 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 77 0 0 136 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.111 0.083 0.000 0.000 0.074 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 17 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.076 0.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 17 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.082 0.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

47 47 45 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.095 0.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 67 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.155 0.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 128 112 235 284 517 262 196

N.S.

1 1.00 1.31 1.14 2.40 2.90 5.28 2.67 2.00

time (sec)

N/A 0.112 0.386 1.021 0.195 0.245 0.353 0.280 1.127

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 88 85 141 172 314 150 118

N.S.

1 1.00 1.19 1.15 1.91 2.32 4.24 2.03 1.59

time (sec)

N/A 0.078 0.298 0.945 0.195 0.248 0.276 0.282 0.970

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 48 48 66 81 162 69 56

N.S.

1 1.00 0.96 0.96 1.32 1.62 3.24 1.38 1.12

time (sec)

N/A 0.040 0.112 0.750 0.205 0.243 0.186 0.279 0.908

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 60 96 71 79 0 69 0

N.S.

1 1.00 0.86 1.37 1.01 1.13 0.00 0.99 0.00

time (sec)

N/A 0.122 0.464 0.980 0.238 0.268 0.000 0.275 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 83 153 88 134 0 630 0

N.S.

1 1.00 0.87 1.61 0.93 1.41 0.00 6.63 0.00

time (sec)

N/A 0.145 0.467 1.000 0.256 0.255 0.000 0.282 0.000

[next] [front] [up]